f1cbc86ae0e99d272f1e2ca51a2b097fe38cbb6e,src/gwt/src/org/rstudio/core/client/theme/DocTabLayoutPanel.java,DragManager,endDrag,#Event#,617
Before Change
// insert this tab where the placeholder landed
dragTabsHost_.removeChild(dragElement_);
dragTabsHost_.insertAfter(dragElement_, dragPlaceholder_);
dragTabsHost_.removeChild(dragPlaceholder_);
// finish dragging
After Change
private void endDrag(final Event evt)
{
// remove the properties used to position for dragging
if (dragElement_ != null)
{
dragElement_.getStyle().clearLeft();
dragElement_.getStyle().clearPosition();
dragElement_.getStyle().clearZIndex();
dragElement_.getStyle().clearDisplay();
// insert this tab where the placeholder landed
dragTabsHost_.removeChild(dragElement_);
dragTabsHost_.insertAfter(dragElement_, dragPlaceholder_);
}
dragTabsHost_.removeChild(dragPlaceholder_);